Nuprl Definition : eventlist
11,40
postcript
pdf
eventlist(
pred?
;
e
)
== if first(
e
) then cons(
e
; []) else append(eventlist(
pred?
; pred(
e
)); cons(
e
; [])) fi
clarification:
eventlist(
pred?
;
e
)
== if first(
pred?
;
e
) then cons(
e
; []) else append(eventlist(
pred?
; pred(
pred?
;
e
)); cons(
e
; [])) fi
(recursive)
latex
Definitions
Y
,
x
.
A
(
x
)
,
if
b
then
t
else
f
fi
,
first(
e
)
,
append(
as
;
bs
)
,
f
(
a
)
,
pred(
e
)
,
cons(
car
;
cdr
)
,
[]
FDL editor aliases
eventlist
origin
x.A(x)x.A(x)